155,99€(IVA inc.)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- Przigoda, Nils
- 978-3-319-72813-1
- 2018-02-09
51,99€(IVA inc.)
Automatic Methods for the Refinement of System Models
- Seiter, Julia
- 978-3-319-41479-9
- 2016-07-11
51,99€(IVA inc.)
Compact Representations for the Design of Quantum Logic
- Niemann, Philipp
- 978-3-319-63723-5
- 2017-10-06
114,39€(IVA inc.)
Exact Design of Digital Microfluidic Biochips
- Keszocze, Oliver
- 978-3-319-90935-6
- 2018-10-09
103,95€(IVA inc.)
Introduction to Reversible and Quantum Circuits: From Basics to Hardware Design
- Wille, Robert
- 978-1-4614-0793-5
- 2015-07-06
93,59€(IVA inc.)
Languages, Design Methods, and Tools for Electronic System Design
- Drechsler, Rolf
- 978-3-319-31722-9
- 2016-05-26
90,47€(IVA inc.)
Languages, Design Methods, and Tools for Electronic System Design
- Fummi, Franco
- 978-3-319-62919-3
- 2017-10-05
47,84€(IVA inc.)
Reversible computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers
- Vos, Alexis de
- 978-3-642-29516-4
- 2012-03-25
119,59€(IVA inc.)
Towards a Design Flow for Reversible Logic
- Wille, Robert
- 978-94-007-9425-2
- 2014-10-18